9 results
2 - Logical Hygiene, Foundations, and Abstractions: Diversity among Aspects and Options
-
-
- Book:
- Kurt Gödel and the Foundations of Mathematics
- Published online:
- 07 September 2011
- Print publication:
- 06 June 2011, pp 27-54
-
- Chapter
- Export citation
Collected works, Volume II, Publications 1938–1974, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr. , Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Oxford University Press, New York and Oxford 1990, xv + 407 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1085-1089
- Print publication:
- September 1991
-
- Article
- Export citation
Hilbert's programme
-
-
- Book:
- Philosophy of Mathematics
- Published online:
- 05 June 2012
- Print publication:
- 27 January 1984, pp 207-238
-
- Chapter
- Export citation
Solomon Feferman. Ordinals and functionals in proof theory. Actes du Congrès International des Mathématiciens 1970, Gauthier-Villars, Paris 1971, Vol. 1, pp. 229–233.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 625-626
- Print publication:
- December 1975
-
- Article
- Export citation
Hao Wang. Logic, computation and philosophy. L'âge de la science, vol. 3 (1970), pp. 101–115.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 358-359
- Print publication:
- June 1974
-
- Article
- Export citation
Hilary Putnam. Mathematics without foundations. The journal of philosophy, vol. 64 (1967), pp. 5–22.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 402-404
- Print publication:
- June 1972
-
- Article
- Export citation
S. Ú. Maslov, G. É. Minc, and V. P. Orévkov. Nérazréšimost′ ν konstruktivnom isčislénii prédikatov nékotoryh klassov formul, sodéržaščih tol′ko odnoméstnyé prédikatnyé péréménnyé. Doklady Akadémii Nauk, vol. 163 (1965), pp. 295–297. - S. Ju. Maslov, G. E. Minc, and V. P. Orevkov. Unsolvability in the constructive predicate calculus of certain classes of formulas containing only monadic predicate variables. Translation of the preceding by E. Mendelson. Soviet mathematics, vol. 6 (1965), pp. 918–920.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 143-144
- Print publication:
- March 1970
-
- Article
- Export citation
N. A. Šanin. On the constructive interpretation of mathematical judgments. English translation of XXXI 255 by Elliott Mendelson. American Mathematical Society translations, ser. 2 vol. 23 (1963), pp. 109–189. - A. A. Markov. On constructive functions. English translation of XXXI 258(1) by Moshe Machover. American Mathematical Society translations, vol. 29 (1963), pp. 163–195. - S. C. Kleene. A formal system of intuitionistic analysis. The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 1–89. - S. C. Kleene. Various notions of realizability:The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 90–132. - Richard E. Vesley. The intuitionistic continuum. The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 133–173. - S. C. Kleene. On order in the continuum. The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 174–186. - S. C. Kleene. Bibliography.The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 187–199.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 258-261
- Print publication:
- June 1966
-
- Article
- Export citation
Reviews - Kurt Schütte. Beweistheorie. Springer-Verlag, Berlin-Göttingen-Heidelberg1960, X + 355 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 243-249
- Print publication:
- September 1960
-
- Article
- Export citation